Differential Categories Revisited
نویسندگان
چکیده
منابع مشابه
Continuous Categories Revisited
Generalizing the fact that Scott’s continuous lattices form the equational hull of the class of all algebraic lattices, we describe an equational hull of LFP, the category of locally finitely presentable categories, over CAT. Up to a set-theoretical hypothesis this hull is formed by the category of all precontinuous categories, i.e., categories in which limits and filtered colimits distribute. ...
متن کامل∗-autonomous categories, revisited
functionals as A and one the greatest such topology. We assume without further mention that in any extensional object (V, V ′) of Chuse , V ′ can be assumed to be a set of functionals. Also in any map (f, f ′): (V, V ′) −→ (W,W ′), f ′ = − ◦ f . Let A denote the space with the same underlying vector space as A and in which a linear subspace U ⊆ A is open when every functional on |A| that vanish...
متن کاملTopological ∗-autonomous categories, revisited
Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full subcategories of strong and weakly topologized objects and show that each is equivalent to the chu category of the original category with respect to the dualizing obj...
متن کاملDifferential categories
Following work of Ehrhard and Regnier, we introduce the notion of a differential category: an additive symmetric monoidal category with a comonad (a " coalgebra modality ") and a differential combinator, satisfying a number of coherence conditions. In such a category, one should imagine the morphisms in the base category as being linear maps and the morphisms in the coKleisli category as being ...
متن کاملCartesian differential categories
This paper revisits the authors’ notion of a differential category from a different perspective. A differential category is an additive symmetric monoidal category with a comonad (a “coalgebra modality”) and a differential combinator. The morphisms of a differential category should be thought of as the linear maps; the differentiable or smooth maps would then be morphisms of the coKleisli categ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Categorical Structures
سال: 2019
ISSN: 0927-2852,1572-9095
DOI: 10.1007/s10485-019-09572-y